| Dozent | Prof. M. Kaufmann, Übungen: U. Fößmeier |
| Sprechstunde | n.V. |
| Zeit | Di 1618, Do 1618 (bitte Aushang beachten!) |
| Umfang | 4 + 2 |
| Beginn | 14.10.97 |
| Ort | noch unbekannt |
| Turnus | jährlich |
Beschreibung:
Die Inhalte der Vorlesung Informatik III entstammen der
theoretischen Informatik.
Eine grobe Einteilung der Themen kann in Formale Sprachen
und Komplexitätstheorie und Berechenbarkeit erfolgen.
Im ersten Teil werden Maschinenmodelle wie endliche Automaten,
Push-Down-Automaten oder Turingmaschinen, sowie Beschreibungsmethoden
wie endliche Ausdrücke oder Grammatiken behandelt.
Der zweite Teil umfaßt Themen wie Entscheidbarkeit,
Berechenbarkeit, µ-Rekursion sowie LOOP-Programmierung.
Literatur:
Das Buch von Schöning Theoretische Informatik kurz gefaßt,
BI-Verlag 1992, kann vorlesungsbegleitend gelesen werden.